2400-Volt railway electrification

Multi-Range Conditional Random Field for Classifying Railway Electrification System Objects Using Mobile Laser Scanning Data

Railway has been used as one of the most crucial means of transportation in public mobility and economic development. For efficiently operating railways, the electrification system in railway infrastructure, which supplies electric power to trains, is essential facilities for stable train operation. Due to its important role, the electrification system needs to be rigorously and regularly inspe...

Rural Electrification

VOLT 2014 Workshop Report

This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirement...

Math 2400 Lecture Notes: Completeness

algebra – so it is probably best to let it go for now. One may take part b) to mean that there is essentially only one Dedekind complete ordered field: R. The proof of Theorem 1 involves constructing the real numbers in a mathematically rigorous way. This is something of a production, and although in some sense every serious student of mathematics should see a construction of R at some point of...

Math 2400 Lecture Notes: Differentiation

1. Differentiability Versus Continuity 2 2. Differentiation Rules 3 3. Optimization 7 3.1. Intervals and interior points 7 3.2. Functions increasing or decreasing at a point 7 3.3. Extreme Values 8 3.4. Local Extrema and a Procedure for Optimization 10 3.5. Remarks on finding roots of f ′ 12 4. The Mean Value Theorem 12 4.1. Statement of the Mean Value Theorem 12 4.2. Proof of the Mean Value Th...